On conditional permutability and saturated formations
نویسندگان
چکیده
منابع مشابه
Transversely Isotropic Saturated Porous Formations
The wavefields generated by monopole and dipole sources in a fluid filled borehole embedded in multilayered transversely isotropic saturated porous formations are studied. The layers are modeled following Biot theory modified in accordance with homogenization theory. It allows to take into account a transversely isotropic skeleton and/or a transversely isotropic complex permeability tensor. The...
متن کاملLanguages associated with saturated formations of groups
In a previous paper, the authors have shown that Eilenberg’s variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of...
متن کاملNOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملPropositional Reasoning about Saturated Conditional Probabilistic Independence
Conditional independence provides an essential framework to deal with knowledge and uncertainty in Artificial Intelligence, and is fundamental in probability and multivariate statistics. Its associated implication problem is paramount for building Bayesian networks. Unfortunately, the problem does not enjoy a finite ground axiomatization and is already coNP-complete to decide for restricted sub...
متن کاملOn Saturated Formations Which Are Special Relative to the Strong Covering-avoidance Property
Let ? be a saturated formation of finite soluble groups. Let G be a finite soluble group and F an if -projector of G. Then F is said to satisfy the strong covering-avoidance property if (i) F either covers or avoids each chief factor of G, and (ii) FC\L/FC\K is a chief factor of F whenever L/K is a chief factor of G covered by F. Let C?„ denote the class of all finite soluble G in which the y -...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 2011
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091510000106